1. Introduction to mathematics
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Metamathematics
رده :
QA
9
.
K65
2. Introduction to metamathematics
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Metamathematics
رده :
QA
9
.
8
.
K6
3. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole,9091-, by Stephen Cole Kleene
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Introduction to metamathematics
پدیدآورنده: Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
5. Introduction to metamathematics /
پدیدآورنده: by Stephen Cole Kleene.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica matematica
6. Introduntion to metamthematics
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Metamathematics,Logie, Symbolic and mathematical
رده :
QA
9
.
K65
7. Mathematical logic
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
8. Mathematical logic
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
9. Mathematical logic
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
K652
10. Mathematical logic
پدیدآورنده: KLEENE,STEPHEN COLE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICS-PHILOSOPHY , LOGIC SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
K652
11. Mathematical logic.
پدیدآورنده: Kleene, Stephen Cole 1909-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
9
.
K652
1968
12. Mathematical logic
پدیدآورنده: Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
K652
13. The Foundations of intuitionistic mathematics; especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole, 9091-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Constructive mathematics,، Recursive functions
رده :
QA
9
.
K648
14. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
15. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematics,، Recursive functions
رده :
QA
248
.
5
.
K6
16. The foundations of intuitionistic mathematics, especially in relation to recursive functions
پدیدآورنده: Kleene, Stephen Cole
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intuitionistic mathematics,، Recursive functions
رده :
QA
9
.
K648
